Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
111	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD student, Gallium (INRIA Paris-Rocquencourt) 1 Research Background Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-23 11:30:06 Type theory Functional languages Dependent type Type system Type inference Coq Programming language Agda Type safety Programming language theory Software engineering Computing
112	Internship report : Extending M LF with Higher-Order Types Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-05-30 10:51:56 Programming language theory Curry–Howard correspondence Lambda calculus System F Binding Type inference Simply typed lambda calculus Type system Polymorphism Type theory Software engineering Theoretical computer science
113	Hindley-Milner Elaboration in Applicative Style Functional pearl François Pottier INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-06-12 04:54:36 Computing Constraint satisfaction problem Type class Lambda calculus Normalisation by evaluation Constraint inference Declarative programming Constraint programming Software engineering
114	An Algorithm for Checking the Disjointness of Types Manfred Widera Fachbereich Informatik FernUniversität HagenHagen Germany Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Computing Data types Constraint programming Inference Program analysis Type system Type inference Function Monad Software engineering Type theory Mathematics
115	CALCULEMUSMining Maple Code for Contracts Jacques Carette 1 Stephen Forrest 2 Computing and Software McMaster University Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2006-09-07 12:33:54 Type theory Object-oriented programming Data types Cross-platform software Polymorphism Type system Object Subtype polymorphism Type inference Software engineering Computing Computer programming
116	An Approach to Completing Variable Names for Implicitly Typed Functional Languages Takumi Goto Isao Sasano Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2012-02-22 04:44:30 Software engineering Type inference Unification Function Type system Hindley–Milner Free variables and bound variables Standard ML Lambda calculus Mathematics Type theory Mathematical logic
117	c Academic Press. To appear. In Information and Computation Type Inference for Variant Object Types Michele Bugliesi Dipartimento di Informatica, Universit`a Ca’ Foscari di Venezia Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-02-03 06:51:06 Data types Computing Object-oriented programming Polymorphism Type systems Subtype polymorphism Symbol Inheritance System F Type theory Software engineering Programming language theory
118	Property Inference for Maple: An Application of Abstract Interpretation Jacques Carette1 Stephen Forrest1 Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2007-06-24 16:58:38 Data types Computer programming Object-oriented programming Functional programming Polymorphism Type system Variable Type class C Software engineering Computing Type theory
119	Depth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica Universit`a Ca’ Foscari di Venezia Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 1999-12-29 11:26:37 Computing Data types Object-oriented programming Polymorphism Type systems Subtype polymorphism Symbol Entailment System F Type theory Software engineering Programming language theory
120	Polymorphic Binding Time Analysis Masters Thesis Christian Mossin DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:52 Programming language theory Data types Polymorphism Lambda calculus Object-oriented programming Type system Type inference Hindley–Milner Simply typed lambda calculus Software engineering Type theory Computing

UPDATE